/* clock_init.h */
#ifndef __CLOCK_INIT_H__
#define __CLOCK_INIT_H__

#define CLOCK_SYS_FREQ_HZ           48000000u
#define CLOCK_SYSTICK_FREQ_HZ       (CLOCK_SYS_FREQ_HZ/8u)
#define CLOCK_FIRC_FREQ_HZ          48000000u
#define CLOCK_SIRC_FREQ_HZ           2000000u
#define CLOCK_FXOSC_FREQ_HZ         24000000u
#define CLOCK_FAST_BUS_CLK_FREQ_HZ  (CLOCK_SYS_FREQ_HZ)    /* div=1. */
#define CLOCK_SLOW_BUS_CLK_FREQ_HZ  (CLOCK_SYS_FREQ_HZ/2u) /* div =2. */

void BOARD_InitBootClocks(void);

#endif /* __CLOCK_INIT_H__ */

